$\forall$$R$:es\_realizer\{i:l\}, $i$:Id. R{-}ds($R$; $i$) $\in$ fpf(Id; $x$.Type)